- контрарные предложения
- contrary prorositions
Русско-английский технический словарь.
контрарные предложения
Смотреть что такое "контрарные предложения" в других словарях:
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
Метод резолюции — Правило резолюций правило вывода в исчислении высказываний и исчислении предикатов. Исчисление высказываний Пусть C1 и C2 два предложения в исчислении высказываний, и пусть , а , где P пропозициональная переменная, а C 1 и … Википедия
Метод резолюций — Правило резолюций правило вывода в исчислении высказываний и исчислении предикатов. Исчисление высказываний Пусть C1 и C2 два предложения в исчислении высказываний, и пусть , а , где P пропозициональная переменная, а C 1 и … Википедия
Резольвента (метод резолюции) — Правило резолюций правило вывода в исчислении высказываний и исчислении предикатов. Исчисление высказываний Пусть C1 и C2 два предложения в исчислении высказываний, и пусть , а , где P пропозициональная переменная, а C 1 и … Википедия
